n-way algebraic correspondence

См. также в других словарях:

• Algebraic chess notation — is used to record and describe the moves in a game of chess. It is now standard among all chess organizations and most books, magazines, and newspapers. In English speaking countries, it replaced the parallel system of descriptive chess notation …   Wikipedia

• Algebraic variety — This article is about algebraic varieties. For the term a variety of algebras , and an explanation of the difference between a variety of algebras and an algebraic variety, see variety (universal algebra). The twisted cubic is a projective… …   Wikipedia

• Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… …   Wikipedia

• Algebraic geometry and analytic geometry — In mathematics, algebraic geometry and analytic geometry are two closely related subjects. While algebraic geometry studies algebraic varieties, analytic geometry deals with complex manifolds and the more general analytic spaces defined locally… …   Wikipedia

• Algebraic differential equation — Note: Differential algebraic equation is something different. In mathematics, an algebraic differential equation is a differential equation that can be expressed by means of differential algebra. There are several such notions, according to the… …   Wikipedia

• Motive (algebraic geometry) — For other uses, see Motive (disambiguation). In algebraic geometry, a motive (or sometimes motif, following French usage) denotes some essential part of an algebraic variety . To date, pure motives have been defined, while conjectural mixed… …   Wikipedia

• Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

• Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… …   Wikipedia

• Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… …   Wikipedia

• Elimination theory — In commutative algebra and algebraic geometry, elimination theory is the classical name for algorithmic approaches to eliminating between polynomials of several variables.The linear case would now routinely be handled by Gaussian elimination,… …   Wikipedia

• Eisenstein ideal — In mathematics, the Eisenstein ideal is a certain ideal in the endomorphism ring of the Jacobian variety of a modular curve. It was introduced by Barry Mazur in 1977, in studying the rational points of modular curves. The endomorphism ring in… …   Wikipedia